formal semantic description
英 [ˈfɔːml sɪˈmæntɪk dɪˈskrɪpʃn]
美 [ˈfɔːrml sɪˈmæntɪk dɪˈskrɪpʃn]
网络 形式语义描述
双语例句
- Based on this model, the corresponding formal semantic description approaches to these five types of the information about customer needs were discussed.
探讨了不同类型的客户需求信息相应的形式化语义描述方法。 - The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。 - Firstly the method of knowledge representation by OWL ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.
本文在研究OWL本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。 - Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.
然后，基于联合请求动作，提出一种主体团队交互协议，并给出了协议的形式化语义，最后讨论了协议的实际应用。 - With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.
由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。